5. Structuralisme et pragmatique à Genève

Le développement de la science à Genève aux XVIIIe et XIXe siècles. Le cas d'une communauté scientifique

Introduction à Unicode et à l'ISO 10646

This article presents a concise overview of Unicode 3.2 and its ISO equivalent, ISO/IEC 10646. It introduces and summarizes the main features and design principles before examining the character encoding model, normalizations forms and common processes such as sorting and rendering and their relationship with Unicode. MOTS-CLÉS : Unicode, ISO/CEI 10646, formes normalisées, modèle de caractères,...

Contribution à l’Etude et à la Conception d’Agents Virtuels . . .

In this thesis, besides the developing a bilateral automated negotiation model between agents, in incomplete information state, integrating the personality effects of human on the negotiation process and outcomes, we proposed an architecture of such agents (―buyer‖ or ―seller‖). To do so, a new offer generation approach of three adaptive families of tactics has been proposed as follows: the tim...

Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML

One should not underestimate the import of being able to verify the conformance between a program and its specification. Furthermore, being able to verify it using a dedicated program allows one to check the correctness of this verification. For this purpose, one uses proof assistants, which are programs that allows to describe the problem, build proofs, then check them. There are more than one...

De Genève Faculté Des Sciences

Genetic Programming Methodology, Parallelization and Applications THÈSE présentée à la Faculté des sciences de l'Université de Genève pour obtenir le grade de Docteur ès sciences mention Informatique par Mouloud OUSSAIDÈNE de Tizi-Ouzou (Kabylie), Algérie Thèse N o 2888 GENÈVE Atelier de reproduction de la section de physique 1997 Remerciements J'aimerais adresser mes remerciements au Professeu...